Claude Can (Sometimes) Prove It
galois.com·2h·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
System Instruction Fixed Point
funcall.blogspot.com·7h·
Discuss: www.blogger.com
⚡Proof Automation
Logic Engines: Building Smarter AI with State-Based Truth Tables by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🔧Hardware Verification
Charles Sanders Peirce, George Spencer Brown, and Me • 20
inquiryintoinquiry.com·8h
🔀Category Theory
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·1d·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·1d
🔗Topological Sorting
Making Judicial Reasoning Visible: Structured Annotation of Holding, Evidentiary Considerations, and Subsumption in Criminal Judgments
arxiv.org·22h
👁️Constructive OCR
I got the highest score on ARC-AGI again swapping Python for English
jeremyberman.substack.com·21m·
Discuss: Substack
📐Proof Assistants
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🧮Z3 Solver
Linkage
11011110.github.io·1d
📐Linear Algebra
What is Algebraic about Algebraic Effects?
interjectedfuture.com·1d
✨Algebraic Effects
The Unseen Variable: Why Your LLM Gives Different Answers (and How We Can Fix It)
hackernoon.com·17h
💻Local LLMs
PSA: `views::single` doesn’t really view
quuxplusone.github.io·1d
🧮Algebraic Datatypes
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·1d·
Discuss: Hacker News
λLambda Encodings
Scaling AI Evaluation Through Expertise
harvey.ai·8h·
Discuss: Hacker News
🤖AI Curation
Efficient Polynomial Identity Testing Over Nonassociative Algebras
arxiv.org·22h
🧮Algebraic Datatypes
Chronon: A data platform for serving for AI/ML applications
github.com·2h·
Discuss: Hacker News
🌊Streaming Databases
Learn How to Use Transformers with HuggingFace and SpaCy
towardsdatascience.com·1d
🎯Dependent Parsing
Automated Data Lineage Reconstruction via Multi-Modal Graph Analysis & HyperScore Validation
dev.to·1d·
Discuss: DEV
🔗Data Provenance
AQUA: Attention via QUery mAgnitudes for Memory and Compute Efficient Inference in LLMs
arxiv.org·22h
💻Local LLMs